<?php exit;?>{"font_size":"14px","theme":"github","auto_wrap":0,"display_char":0,"auto_complete":1}